Programming encodes all this into animation